impredicative definition

非断言定义